Xanthidia in Flint

Joseph Marshall Flint

NTL vs FLINT

All tests were carried out on a very lightly loaded machine with a 64-bit Intel “Haswell” CPU (Intel Xeon CPU E5-2698 v3 at 2.30GHz) with plenty of memory (over 250GB). The operating system was Cent OS. The compiler was gcc v4.8.5. We compared NTL v9.9.1 with FLINT v2.5.2. These were both built using GMP v6.1.0. All of these were the most recent releases of these packages at the time we carried...

Serverless Data Analytics with Flint

Serverless architectures organized around looselycoupled function invocations represent an emerging design for many applications. Recent work mostly focuses on user-facing products and event-driven processing pipelines. In this paper, we explore a completely different part of the application space and examine the feasibility of analytical processing on big data using a serverless architecture. ...

FLINT: Fault Localisation using Information Theory

Test case prioritisation techniques aim to maximise the chance of fault detection as early in testing as possible. This is most commonly achieved by prioritising the tests according to a surrogate measure that is thought to correspond to fault detection capabilities, such as code coverage. However, once the prioritised test suite indeed detects a fault, the original prioritisation may become ob...

An Overview of the FLINT / ML

The FLINT project at Yale aims to build a state-of-the-art systems environment for modern type-safe languages. One important component of the FLINT system is a high-performance type-directed compiler for SML'97 (extended with higher-order modules). The FLINT/ML compiler provides several new capabilities that are not available in other type-based compilers: type-directed compilation is carried o...